ŘEHÁK, VOJTĚCH: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

Mojmı́r Křetı́nský, Vojtěch Rehák, Jan Strejček

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 228 KB

english, 2004

2

On Decidability of LTL+Past Model Checking for Process Rewrite Systems

Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 344 KB

english, 2009

3

On decidability of LTL model checking for process rewrite systems

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 578 KB

english, 2009

4

Refining the Undecidability Border of Weak Bisimilarity

Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 347 KB

english, 2006

5

Petri nets are less expressive than state-extended PA

Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 288 KB

english, 2008

6

Reachability is decidable for weakly extended process rewrite systems

Mojmír Křetínský, Vojtěch Řehák, Jan Strejček

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 251 KB

english, 2009

7

[IEEE 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) - Fremont, CA, USA (2007.11.2-2007.11.5)] 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) - High-Speed Network Traffic Acquisition for Agent Systems

Celeda, Pavel, Krmicek, Vojtech, Rehak, Martin, Medvigy, David

Year:

2007

Language:

english

File:

PDF, 393 KB

english, 2007

8

[IEEE 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) - Fremont, CA, USA (2007.11.2-2007.11.5)] 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) - Agent-Based Network Intrusion Detection System

Krmicek, Vojtech, Celeda, Pavel, Rehak, Martin, Pechoucek, Michal

Year:

2007

Language:

english

File:

PDF, 433 KB

english, 2007

9

[IEEE 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011) - Istanbul, Turkey (2011.07.4-2011.07.8)] 2011 7th International Wireless Communications and Mobile Computing Conference - Optimizing flow sampling for network anomaly detection

Bartos, Karel, Rehak, Martin, Krmicek, Vojtech

Year:

2011

Language:

english

File:

PDF, 890 KB

english, 2011

10

[ACM Press the ACM/SPEC international conference - Prague, Czech Republic (2013.04.21-2013.04.24)] Proceedings of the ACM/SPEC international conference on International conference on performance engineering - ICPE '13 - On time-average limits in deterministic and stochastic petri nets

Brázdil, Tomáš, Korenčiak, Luboš, Krčál, Jan, Křetínský, Jan, Řehák, Vojtěch

Year:

2013

Language:

english

File:

PDF, 476 KB

english, 2013

11

[ACM Press the 1st International Workshop - Paris, France (2014.05.06-2014.05.06)] Proceedings of the 1st International Workshop on Agents and CyberSecurity - ACySE '14 - Identifying and modeling botnet C&C behaviors

García, Sebastián, Uhlíř, Vojtěch, Rehak, Martin

Year:

2014

Language:

english

File:

PDF, 872 KB

english, 2014

12

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Measuring performance of continuous-time stochastic processes using timed automata

Brázdil, Tomás, Krcál, Jan, Kretínský, Jan, Kucera, Antonín, Řehák, Vojtech

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

13

Almost linear Büchi automata

BABIAK, TOMÁŠ, ŘEHÁK, VOJTĚCH, STREJČEK, JAN

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 652 KB

english, 2012

14

Collaborative approach to network behaviour analysis based on hardware-accelerated FlowMon probes

Rehak, Martin, Pechoucek, Michal, Grill, Martin, Bartos, Karel, Krmicek, Vojtech, Celeda, Pavel

Journal:

International Journal of Electronic Security and Digital Forensics

Year:

2009

Language:

english

File:

PDF, 1.64 MB

english, 2009

15

[IEEE 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - London, United Kingdom (2016.9.19-2016.9.21)] 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

Korenciak, Lubos, Kucera, Antonin, Rehak, Vojtech

Year:

2016

Language:

english

File:

PDF, 196 KB

english, 2016